This live demonstration showcases the use of Eiffel#'s Design by ContractTM to build reliable web services. By ISE, Inc.

On-line introduction to the Eiffel method and language.

Advanced use of assertions for clearer specifications and greater software reliability. By OO guru Bertrand Meyer, creator of Eiffel.

A division of ISE (Interactive Software Engineering), the company formed by Eiffel's inventor, Bertrand Meyer. Free downloads of EiffelStudio and Eiffel ENViSioN. Many documentation about Eiffel: tutorials, articles, manuals.

Short annotated bibliography of some college level Eiffel and OO titles, with information on some software and student internships. [Eiffel.com]

For the EiffelBase library.

An Eiffel compiler for Unix, Win32, and VMS which supports Java, COM, threads. A product of ESI (Eiffel Software Inc.).

Eiffel Library Kernel Standard, as of 1995.

Written in the form of an addition to the book 'Eiffel: The Language'. Introspection is Eiffel's term for reflection. Acrobat PDF format.

BON: The analysis and design method for reliability, reusability and reversibility; description of benefits and key concepts, with links. Eiffel Software.